Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
421	Curriculum Vitae Ruzica Piskac address: The Department of Computer Science Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2015-01-29 21:52:24 Logic in computer science Symposium on Principles of Programming Languages International Semantic Web Conference Separation logic Automated reasoning Computer Aided Verification Abstract interpretation Vasant Honavar Vienna Summer of Logic
422	On the Complexity of Abstract Categorial Grammars In this abstract we investigate the respective complexities of the membership and the universal membership problems for Abstract Categorial Grammars [dG01]. This problem Add to Reading List Source URL: wwwhomes.uni-bielefeld.de Language: English - Date: 2009-05-22 03:48:32 Logic in computer science Theoretical computer science Mathematics Constructible universe Mathematical logic CurryHoward correspondence Table of stars with Bayer designations Generalised Whitehead product
423	Oracle Semantics for Concurrent Separation Logic (Extended Version) Aquinas Hobor1⋆ Andrew W. Appel1⋆ 1 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2008-01-04 15:33:28 Theoretical computer science Logic in computer science Logic Mathematical logic Edsger W. Dijkstra Formal methods Separation logic Substructural logic Concurrent computing Modal logic Semantics Parallel computing
424	Reducing the Barriers to Writing Verified Specifications Todd W. Schiller Michael D. Ernst University of Washington Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2012-08-23 11:19:39 Theoretical computer science Formal methods Software engineering Computing Logic in computer science Java Modeling Language Postcondition Extended static checking Predicate transformer semantics ESC/Java Precondition KeY
425	Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. System Description: Delphin – A Functional Programming Language for Ded Add to Reading List Source URL: www.itu.dk Language: English - Date: 2008-06-03 10:17:56 Type theory Logic in computer science Lambda calculus Dependently typed programming Subroutines Combinatory logic Higher-order abstract syntax Twelf Dependent type Parameter Logical framework Fixed-point combinator
426	CSL Technical Report SRI-CSL-06-01 • May 23, 2006 Integrating Simplex with DPLL(T ) Bruno Dutertre and Leonardo de Moura This report is based upon work supported by the Defense Advanced Research Projects Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Theoretical computer science Computational complexity theory Mathematics Electronic design automation Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability modulo theories Boolean satisfiability problem Solver Simplex algorithm
427	Rely-Guarantee References for Refinement Types over Aliased Mutable Data Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington PLDI 2013 Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-10-24 14:36:30 Logic in computer science Program analysis Substructural logic Concurrent computing Aliasing Compiler construction Separation logic Alias Thread Assertion OCaml Type system
428	Anytime Inference in Probabilistic Logic Programs with TP -Compilation Jonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert, Luc De Raedt Department of Computer Science KU Leuven, Belgium firstname.lastnam Add to Reading List Source URL: lirias.kuleuven.be Language: English - Date: 2015-11-20 04:37:18 Model theory Predicate logic Markov logic network Rules of inference Probabilistic logic Stable model semantics Resolution First-order logic Atomic formula Propositional calculus FO Inference

UPDATE